mathswitch

mathswitch — infrastructure for relaying and exchanging mathematical concepts

orthonormal frame

in Riemannian geometry